theory lower bound

理论下限